Davide Bresolin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Relational dual tableaux for interval temporal logics ★

Bresolin, Davide, Golińska-Pilarek, Joanna, Orlowska, Ewa

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 251 KB

english, 2006

2

Impact of Ge–Sb–Te compound engineering on the set operation performance in phase-change memories

Mattia Boniardi, Daniele Ielmini, Innocenzo Tortorelli, Andrea Redaelli, Agostino Pirovano, Mario Allegra, Michele Magistretti, Camillo Bresolin, Davide Erbetta, Alberto Modelli, Enrico Varesi, Fabio

Journal:

Solid-State Electronics

Year:

2011

Language:

english

File:

PDF, 872 KB

english, 2011

3

An independent determination of the local Hubble constant

Fernández Arenas, David, Terlevich, Elena, Terlevich, Roberto, Melnick, Jorge, Chávez, Ricardo, Bresolin, Fabio, Telles, Eduardo, Plionis, Manolis, Basilakos, Spyros

Journal:

Monthly Notices of the Royal Astronomical Society

Year:

2018

Language:

english

File:

PDF, 6.04 MB

english, 2018

4

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 990 KB

english, 2009

5

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 382 KB

english, 2009

6

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

7

A theory of ultimately periodic languages and automata with an application to time granularity

Davide Bresolin, Angelo Montanari, Gabriele Puppis

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 580 KB

english, 2009

8

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Angelo Montanari, Guido Sciavicco

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 591 KB

english, 2007

9

Thermal Stability of Ge2Sb2Te5in Contact with Ti and TiN

Vijayaharan A. Venugopal, Giampiero Ottaviani, Camillo Bresolin, Davide Erbetta, Alberto Modelli, Enrico Varesi

Journal:

Journal of Electronic Materials

Year:

2009

Language:

english

File:

PDF, 429 KB

english, 2009

10

Reactivity of [Re(η2-H2)(CO)2P3]+ cations with alkynes: preparation of vinylidene and propadienylidene complexes

Gabriele Albertin, Stefano Antoniutti, Emilio Bordignon, Davide Bresolin

Journal:

Journal of Organometallic Chemistry

Year:

2000

Language:

english

File:

PDF, 160 KB

english, 2000

11

A game-theoretic approach to fault diagnosis and identification of hybrid systems

Bresolin, Davide, Capiluppi, Marta

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 666 KB

english, 2013

12

Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 682 KB

english, 2013

13

The dark side of interval temporal logic: marking the undecidability border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 962 KB

english, 2014

14

Effect of Combined Systemic and Local Morpholino Treatment on the Spinal Muscular Atrophy Δ7 Mouse Model Phenotype

Nizzardo, Monica, Simone, Chiara, Salani, Sabrina, Ruepp, Marc-David, Rizzo, Federica, Ruggieri, Margherita, Zanetta, Chiara, Brajkovic, Simona, Moulton, Hong M., Müehlemann, Oliver, Bresolin, Nereo,

Journal:

Clinical Therapeutics

Year:

2014

Language:

english

File:

PDF, 3.26 MB

english, 2014

15

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.70 MB

english, 2014

16

Announcement

Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Animal Reproduction Science

Year:

1982

Language:

english

File:

PDF, 25 KB

english, 1982

17

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers

Bresolin, Davide, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 435 KB

english, 2013

18

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

Davide Bresolin,Dario Della Monica…

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 655 KB

english, 2014

19

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Undecidability of Interval Temporal Logics with the Overlap Modality

Bresolin, Davide, Monica, Dario Della, Goranko, Val, Montanari, Angelo, Sciavicco, Guido

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

20

[IEEE 2013 Conference on Control and Fault-Tolerant Systems (SysTol) - Nice, France (2013.10.9-2013.10.11)] 2013 Conference on Control and Fault-Tolerant Systems (SysTol) - A framework for fault diagnosis of hybrid systems based on predicate abstractions

Bresolin, Davide, Capiluppi, Marta

Year:

2013

Language:

english

File:

PDF, 449 KB

english, 2013

21

[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - Application of contract-based verification techniques for hybrid automata to surgical robotic systems

Schreiter, Luzie, Bresolin, Davide, Capiluppi, Marta, Raczkowsky, Joerg, Fiorini, Paolo, Woern, Heinz

Year:

2014

Language:

english

File:

PDF, 507 KB

english, 2014

22

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Bresolin, Davide, Monica, Dario Della, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 233 KB

english, 2011

23

[IEEE 2012 4th IEEE International Memory Workshop (IMW) - Milan, Italy (2012.05.20-2012.05.23)] 2012 4th IEEE International Memory Workshop - Electrical and Thermal Behavior of Tellurium Poor GeSbTe Compounds for Phase Change Memory

Boniardi, Mattia, Redaelli, Andrea, Tortorelli, Innocenzo, Lavizzari, Simone, Pirovano, Agostino, Pellizzer, Fabio, Varesi, Enrico, Erbetta, Davide, Bresolin, Camillo, Modelli, Alberto, Bez, Roberto

Year:

2012

Language:

english

File:

PDF, 258 KB

english, 2012

24

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

25

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - A Decidable Spatial Generalization of Metric Interval Temporal Logic

Bresolin, Davide, Sala, Pietro, Della Monica, Dario, Montanari, Angelo, Sciavicco, Guido

Year:

2010

Language:

english

File:

PDF, 343 KB

english, 2010

26

[IEEE 2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems - Liberec, Czech Republic (2009.04.15-2009.04.17)] 2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems - The impact of EFSM composition on functional ATPG

Bresolin, Davide, Di Guglielmo, Giuseppe, Fummi, Franco, Pravadelli, Graziano, Villa, Tiziano

Year:

2009

Language:

english

File:

PDF, 354 KB

english, 2009

27

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Open Problems in Verification and Refinement of Autonomous Robotic Systems

Bresolin, Davide, Di Guglielmo, Luigi, Geretti, Luca, Muradore, Riccardo, Fiorini, Paolo, Villa, Tiziano

Year:

2012

Language:

english

File:

PDF, 528 KB

english, 2012

28

Assume-guarantee verification of nonlinear hybrid systems with Ariadne

Benvenuti, Luca, Bresolin, Davide, Collins, Pieter, Ferrari, Alberto, Geretti, Luca, Villa, Tiziano

Journal:

International Journal of Robust and Nonlinear Control

Year:

2014

Language:

english

File:

PDF, 1006 KB

english, 2014

29

Validity of the Millon Clinical Multiaxial Inventory in the Assessment of Affective Disorders

Choca, James, Bresolin, Linda, Okonek, Anna, Ostrow, David

Journal:

Journal of Personality Assessment

Year:

1988

Language:

english

File:

PDF, 555 KB

english, 1988

30

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Bresolin, Davide, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 483 KB

english, 2011

31

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Bresolin, Davide, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2009

Language:

english

File:

PDF, 365 KB

english, 2009

32

[IEEE 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011) - Istanbul, Turkey (2011.07.4-2011.07.8)] 2011 7th International Wireless Communications and Mobile Computing Conference - Correct-by-construction code generation from hybrid automata specification

Bresolin, Davide, Di Guglielmo, Luigi, Geretti, Luca, Villa, Tiziano

Year:

2011

Language:

english

File:

PDF, 874 KB

english, 2011

33

[IEEE 2014 17th Euromicro Conference on Digital System Design (DSD) - Verona, Italy (2014.8.27-2014.8.29)] 2014 17th Euromicro Conference on Digital System Design - Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools

Bresolin, Davide, Geretti, Luca, Muradore, Riccardo, Fiorini, Paolo, Villa, Tiziano

Year:

2014

Language:

english

File:

PDF, 461 KB

english, 2014

34

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - An optimal tableau for Right Propositional Neighborhood Logic over Trees

Bresolin, Davide, Montanari, Angelo, Sala, Pietro

Year:

2008

Language:

english

File:

PDF, 313 KB

english, 2008

35

Primary Care Physicians and Their HIV Prevention Practices

Kerr, Sandra H., Valdiserri, Ronald O., Loft, John, Bresolin, Linda, Holtgrave, David, Moore, Melinda, MacGowan, Robin, Marder, William, Rinaldi, Robert

Journal:

AIDS PATIENT CARE and STDs

Year:

1996

Language:

english

File:

PDF, 1.51 MB

english, 1996

36

ON BEGINS, MEETS AND BEFORE

BRESOLIN, DAVIDE, SALA, PIETRO, SCIAVICCO, GUIDO

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 373 KB

english, 2012

37

[ECS Analytical Techniques for Semiconductor Materials and Process Characterization 5 (ALTECH 2007) - Munich, Germany (September 13 - September 14, 2007)] ECS Transactions - Molybdenum Contamination in Indium and Boron Implantation Processes

Codegoni, Davide, Polignano, Maria Luisa, Soncini, Valter, Bresolin, Camillo

Year:

2007

Language:

english

File:

PDF, 427 KB

english, 2007

38

[ACM Press the twelfth workshop - Adelaide, Australia (2013.01.16-2013.01.20)] Proceedings of the twelfth workshop on Foundations of genetic algorithms XII - FOGA XII '13 - Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms

Bresolin, Davide, Jiménez, Fernando, Sánchez, Gracia, Sciavicco, Guido

Year:

2013

Language:

english

File:

PDF, 554 KB

english, 2013

39

Formal verification of robotic surgery tasks by reachability analysis

Bresolin, Davide, Geretti, Luca, Muradore, Riccardo, Fiorini, Paolo, Villa, Tiziano

Journal:

Microprocessors and Microsystems

Year:

2015

Language:

english

File:

PDF, 4.41 MB

english, 2015

40

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus*

Collins, Pieter, Bresolin, Davide, Geretti, Luca, Villa, Tiziano

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 502 KB

english, 2012

41

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)

Bresolin, Davide, Sciavicco, Guido

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 313 KB

english, 2016

42

Hypertension and sodium transport in 390 healthy adults in Chicago

Persky, Victoria, Ostrow, David, Langenberg, Patricia, Ruby, Elizabeth, Bresolin, Linda, Stamler, Jeremiah

Journal:

Journal of Hypertension

Year:

1990

File:

PDF, 772 KB

1990

43

Reachability computation for hybrid systems with Ariadne

Benvenuti, Luca, Bresolin, Davide, Casagrande, Alberto, Collins, Pieter, Ferrari, Alberto, Mazzi, Emanuele, Sangiovanni-Vincentelli, Alberto, Villa, Tiziano

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 860 KB

english, 2008

44

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

Bresolin, Davide, Kurucz, Agi, Muñoz-Velasco, Emilio, Ryzhikov, Vladislav, Sciavicco, Guido, Zakharyaschev, Michael

Journal:

ACM Transactions on Computational Logic

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

45

Parametric formal verification: the robotic paint spraying case study

Geretti, Luca, Muradore, Riccardo, Bresolin, Davide, Fiorini, Paolo, Villa, Tiziano

Journal:

IFAC-PapersOnLine

Year:

2017

Language:

english

File:

PDF, 477 KB

english, 2017

46

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - On the Complexity of Fragments of Horn Modal Logics

Bresolin, Davide, Munoz-Velasco, Emilio, Sciavicco, Guido

Year:

2016

Language:

english

File:

PDF, 260 KB

english, 2016

47

Formal Verification of Medical CPS

Geraldes, André A., Geretti, Luca, Bresolin, Davide, Muradore, Riccardo, Fiorini, Paolo, Mattos, Leonardo S., Villa, Tiziano

Journal:

ACM Transactions on Cyber-Physical Systems

Year:

2018

Language:

english

File:

PDF, 3.16 MB

english, 2018

48

PREVALENCE OF RISK FACTORS FOR HEPATITIS C AND ASSOCIATED FACTORS: a population-based study in southern Brazil

KVITKO, David Timm, BASTOS, Gisele Alsina Nader, PINTO, Maria Eugênia Bresolin

Journal:

Arquivos de Gastroenterologia

Year:

2013

Language:

english

File:

PDF, 213 KB

english, 2013

49

Direct measurement of lensing amplification in Abell S1063 using a strongly lensed high redshift HII galaxy

Terlevich, Roberto, Melnick, Jorge, Terlevich, Elena, Chávez, Ricardo, Telles, Eduardo, Bresolin, Fabio, Plionis, Manolis, Basilakos, Spyros, Arenas, David Fernández, González Morán, Ana Luisa, Díaz,

Journal:

Astronomy and Astrophysics

Year:

2016

Language:

english

File:

PDF, 232 KB

english, 2016

50

Independent cosmological constraints from high-z H ii galaxies

González-Morán, Ana Luisa, Chávez, Ricardo, Terlevich, Roberto, Terlevich, Elena, Bresolin, Fabio, Fernández-Arenas, David, Plionis, Manolis, Basilakos, Spyros, Melnick, Jorge, Telles, Eduardo

Journal:

Monthly Notices of the Royal Astronomical Society

Year:

2019

Language:

english

File:

PDF, 5.46 MB

english, 2019